The Ibm Verification Suite Jbig-abic

نویسندگان

  • S. Colyer
  • J. L. Mitchell
چکیده

The IBM JBIG-ABIC Verification Suite is a newly designed verification suite that contains more than 5000 correctly encoded test images. Previously existing verification images in total and consolidated in an ad hoc suite tested only a small fraction of the algorithm and were inadequate. The IBM JBIG-ABIC Verification Suite provides compatibility testing reference data for the ITU-T/ISO JBIG sequential mode and IBM ABIC image compression standards. In this paper, the test images are described and related to the JBIG and ABIC compression standards and options. The verification suite was used to debug and verify the algorithms in the IBM JBIG-ABIC core that is integrated into the Xionics XipChip imaging microcontrollers.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Performance as a function of compression

as a tunction c ot compresslon This paper discusses the performance of bilevel-image arithmetic coders, ABIC and JBIG, and Lempel-Ziv string compressors, ALDC and BLDC. Images are analyzed for typical and worst-case throughput and latency as a function of compression. A relationship between the compressibility of an image and the throughput performance of the compression algorithm is demonstrat...

متن کامل

An algorithm for compression of bilevel images

This paper presents the block arithmetic coding for image compression (BACIC) algorithm: a new method for lossless bilevel image compression which can replace JBIG, the current standard for bilevel image compression. BACIC uses the block arithmetic coder (BAC): a simple, efficient, easy-to-implement, variable-to-fixed arithmetic coder, to encode images. BACIC models its probability estimates ad...

متن کامل

Lossless Image Compression by Block Matching

Lossless image compression has often employed techniques quite separate from those used for text compression or lossy image compression; most standards today employ modelling followed by coding (e.g. the JBIG standard, the IBM Q-coder, CCITT Group 4). Constantinescu and Storer present a lossy image compression scheme that can be viewed as a generalization of lossless dynamic dictionary compress...

متن کامل

Coverage-Directed Test Generation Using Symbolic Techniques

In this paper, we present a verification methodology that integrates formal verification techniques with verification by simulation, thereby providing means for generating simulation test suites that ensure coverage. We derive the test suites by means of BDD-based symbolic techniques for describing and traversing the implementation state space. In our approach, we provide a high-level of contro...

متن کامل

MPOA Performance Benchmark and Functionality Verification

IBM Corp. commissioned The Tolly Group to evaluate its 8265 Nways ATM Switch and 8371 Multilayer Ethernet Switch. In an extensive suite of tests, IBM’s 8265 ATM switch provided LANE and MPOA backbone services to Fast Ethernet switch ports residing both in standalone IBM 8371 switches, as well as in IBM 8371 switch blades for the 8265. The testing involved Layer 2 and Layer 3 IP throughput, as w...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002